You are here: irt.org | FOLDOC | proof theory
<logic> The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements.
(1994-10-31)
Nearby terms: Pronunciation « proof « PROOF/L « proof theory » propeller head » propeller key » proportionally spaced font
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL